Revision: tla-tools--devo--0--patch-87
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Mon Sep 29 15:12:26 JST 2003
Standard-date: 2003-09-29 06:12:26 GMT
Modified-files: ChangeLog tla-update-ids.shpp
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-87
Summary: Use a better algorithm for tla-update-ids

Instead of using the output of `tla what-changed', use `tla tree-lint'
to directly find out which files/external-ids are missing their opposite
number.  This makes things a lot simpler, and probably more correct.

Now the only time `history' is used is when trying to detect moved
files:  the pristine copy of any missing files will be examined, to see
if their still-extant explicit-ids should be renamed to a new file.
This means that multiple moves of the _same_ file before a commit will
not do the correct thing, but that's probably a very rare case.
